;;
compose mu (compose (bimap id mu) alpha) = compose mu (bimap mu id)
